Elements of Mathematical Logic

Projektleitung und Mitarbeiter

Mittelgeber :

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Monographie/Lehrbuch von ca. 900 Seiten über die drei Grundgebiete der Mathematischen Logik: (1) Mengentheoretische Logik und Algebra der Modelle, (2) Beweistheorie und ihre Kalküle, (3) Logik der Arithmetik und ihrer Arithmetisierung. Alle 3 Teile enthalten zahlreiche bislang unpublizierte Resultate. Das Manuskript liegt fertig vor und soll 1996 im Druck erscheinen.

Publikationen

INDEX HOME SUCHEN KONTAKT LINKS